Cartesian closed category - PDFSEARCH.IO - Document Search Engine

Cartesian closed category
Results: 66

#	Item
31	Orthocurrence as both Interaction and Observation Vaughan R. Pratt Stanford University and Tiqit Computers January 9, 2005 Abstract Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:07 Abstract algebra Mathematical structures Topology Multilinear algebra Tensor Vector space Chu space Bilinear map Cartesian closed category Algebra Mathematics Linear algebra
32	Extended Topological Field Theories and the Cobordism Hypothesis Yan Zhao Universit´e Paris XI (Paris-Sud) and Universit`a degli studi di Padova Advisor: Gr´egory Ginot Universit´e Pierre et Marie Curie (Paris VI) Add to Reading List Source URL: www.algant.eu Language: English - Date: 2013-07-13 14:38:55 Monoidal categories Cobordism Topological quantum field theory Monoidal functor Monoid Frobenius algebra Cartesian closed category PRO Functor Category theory Algebra Abstract algebra
33	Certain categories are cartesian closed by Victor Porton Email: [removed] Web: http://www.mathematics21.org November 25, 2013 Add to Reading List Source URL: www.mathematics21.org Language: English - Date: 2013-11-24 17:33:48 Category Morphism Cartesian closed category Continuous function Functor Exponential object Equivalence of categories Embedding Fibred category Mathematics Category theory Mathematical analysis
34	Objects and their computational framework† V.E.Wolfengagen‡ arXiv:cs.LO[removed]Jun[removed]Vorotnikovsky per., 7, bld. 4 Add to Reading List Source URL: www.wolfengagen.mephi.ru Language: English - Date: 2004-02-05 01:57:51 Applied mathematics Combinatory logic Symbol Cartesian closed category Fixed-point combinator Spectral theory of ordinary differential equations Lambda calculus Theoretical computer science Mathematics
35	Network Theory 1. Tuesday 25 February, 3:30 pm: electrical circuits and signal-flow graphs. 2. Tuesday 4 March, 3:30 pm: stochastic Petri nets, chemical reaction networks and Feynman diagrams. Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2014-03-02 08:12:53 Morphism Monoid Rigid category Cartesian closed category Category theory Algebra Monoidal categories
36	Computational Category Theory D.E. Rydeheard University of Manchester Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2003-05-20 11:35:35 Functors Limit Topos Equivalence of categories Category of topological spaces Categorical logic Cartesian closed category Initial and terminal objects Universal property Category theory Mathematics Adjoint functors
37	Game semantics in string diagrams Paul-André Melliès Laboratoire Preuves, Programmes, Systèmes Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2012-09-28 07:43:12 Logic in computer science Monoidal categories Lambda calculus Non-classical logic Models of computation Cartesian closed category Adjoint functors Closed monoidal category Sheaf Mathematics Category theory Abstract algebra
38	Derivatives of Containers Michael Abbott1 , Thorsten Altenkirch2, Neil Ghani1 , and Conor McBride3 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-05-01 19:44:49 Functors Cartesian closed category Limit Universal property Natural transformation Sheaf Full and faithful functors Initial and terminal objects Product Category theory Abstract algebra Mathematics
39	Reason Isomorphically! Ralf Hinze Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2011-03-18 10:34:01 Adjoint functors Natural transformation Representable functor Equivalence of categories Yoneda lemma Limit Cartesian closed category Sheaf Hom functor Category theory Abstract algebra Functors
40	Theory and Applications of Categories, Vol. 26, No. 4, 2012, pp. 97–131. COMMUTATIVE MONADS AS A THEORY OF DISTRIBUTIONS Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2012-02-24 15:35:03 Abstract algebra Monad Universal property Functor Strong monad Coproduct Function Cartesian closed category Morphism Category theory Adjoint functors Mathematics